# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: 1
  1: Value: 2
  2: Value: 3
  3: Value: 5
  4: Value: 10
  5: Value: 15
  6: Value: 30